Universal extensions of specialization semilattices
نویسندگان
چکیده
A specialization semilattice is a join together with coarser preorder $ \sqsubseteq satisfying an appropriate compatibility condition. If $X$ topological space, then $(\mathcal P(X), \cup, )$ semilattice, where x y$ if $x \subseteq Ky$, for $x,y X$, and $K$ closure. Specialization semilattices posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. For short, the notion useful since it allows us consider relation of "being generated by" no need require existence actual "closure" or "hull", which might be problematic certain contexts. In former work we showed that every can embedded into associated space above. Here describe universal embedding additive closure semilattice. We notice categorical argument guarantees embeddings parallel situations.
منابع مشابه
Modelling Specialization as BLOOM semilattices
The capabilities of a data model to represent any conceptualization (expressiveness) are very important for faithful modelling. Focusing on the generalization/specialization dimension, unique features of the BLOOM model are presented: specialization criteria, four kinds of specialization, usage of specialization metaclasses, transitive specializations, combinations of specializations that autom...
متن کاملCanonical Extensions and Profinite Completions of Semilattices and Lattices
Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class S∧ of (unital) meet semilattices. Any S ∈ S∧ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt(S), is a compact and ∨∧ -dense exte...
متن کاملUniversal Extensions
In the category of left modules over a unital ring we show that a left exact reflector determines, for each n ≥ 1, a torsion theoretic setting in which universal extensions of length n exist. Combined with recent work of Rodelo-Van der Linden [9] this establishes the existence of universal central extensions of groups and Lie algebras. Interpreted in the homotopy category of topological spaces,...
متن کاملUniversal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulation F : K −. L that preserves quiescence contains a composition of a history extension, an extension with eternity variables, and a refinement mapping. This result is strengthened here in three ways. Firstly, the assum...
متن کاملEquidistribution Questions for Universal Extensions
Let k be a field, C/k a proper, smooth, geometrically connected curve of genus g ≥ 1 given with a marked rational point 0 ∈ C(k), JC/k := Pic 0 C/k its Jacobian. Concretely, the group JC(k) is the group (under tensor product) of isomorphism classes of invertible sheaves L on C of degree zero. Given a point P ∈ C(k), we denote by I(P ) ⊂ OC the ideal sheaf of functions vanishing at P . Given P1,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Categories and general algebraic structures with applications
سال: 2022
ISSN: ['2345-5853', '2345-5861']
DOI: https://doi.org/10.52547/cgasa.2022.102467